Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design

Industrial Cyber – Physical Systems

Design of Multidisciplinary Cyber Physical Systems

A cyber-physical system (CPS) is a system of collaborating computational elements that control and interact with physical entities. These systems can be found in areas such as aerospace, automotive, energy, healthcare, manufacturing, entertainment, and consumer appliances, and can also be categorized as embedded systems, mechatronics, and smart X. In embedded systems the emphasis is on the comp...

Virtual Integration of Cyber-Physical Systems by Verification

In this position paper, we advocate the use of verification technology to tackle the virtual integration problem for cyber-physical systems. In particular, we advocate the use of high-level modeling languages that allow designers to declaratively specify what properties their architectural models should have, not how to achieve them. We further advocate the use of verification technology to ana...

a study on the design of bio-ethanol process from date wastes of sistan and baluchistan province

اتانول کاربردهای متنوعی در صنایع لاستیک سازی، رنگسازی، حلالها ومکمل سوخت خودرو دارد. اتانول برخلاف نفت از جمله مواد تجدیدپذیر محسوب می شود که مشکلات زیست محیطی و آلودگی نیز ایجاد نمی کند. استفاده از اتانول به عنوان مکمل سوختخودروها از جمله مهمترین مصارف صنعتی این ماده بشمار می رود. با توجه به این موضوع تحقیق و توسعه در زمینه تولید اتانول با درجه خلوص بالا در سطح جهان، و نه تنها در کشور های پیشر...

Multi-View Design for Cyber-Physical Systems

Cyber-Physical Systems are complex systems made of various and heterogeneous subsystems; they have different aspects and each aspect has its own requirements and properties to be satisfied. ModelDriven Engineering (MDE) is a promising approach used to design and analyze complex systems on different levels and diverse views. CPS designers take many factors into account due to the complexity and ...